CRYSTALS - The Gently Introduction
dev.to·1d·
Discuss: DEV
⚗️Algebraic Coding
Cryptography for the Everyday Developer: Understanding AES - The Advanced Encryption Standard
sookocheff.com·18h
🔐Cryptographic Archaeology
Derek Elkins: Arithmetic Functions
hedonisticlearning.com·9h
⚔️Lean Theorem
Optimizing multiprecision LLL in FLINT
fredrikj.net·2d
🧮Algebraic Datatypes
Scheme Basics
courses.cs.washington.edu·20h·
Discuss: Hacker News, Hacker News
🧠Lisp Dialects
We now have the math to describe 'matrix tides'
buffalo.edu·11h·
Discuss: Hacker News
🌀Differential Geometry
Algebra 2 Problems of the Day (Algebra 2 Regents, August 2024 Part III)
mrburkemath.blogspot.com·2d·
Discuss: www.blogger.com
📐Linear Algebra
HigherOrderCO/HVM3
github.com·7h
🔗Functional Compilers
Equi-mRNA: Protein Translation Equivariant Encoding for mRNA Language Models
arxiv.org·1d
🔗Functional Compilers
how to decide on the sequence of computable numbers
academia.edu·2d·
Discuss: Hacker News, r/programming
🎞️Tape Combinatorics
Micropycelium - prototype routable mesh network for ESP32
hackster.io·23h
🕸️Mesh Networking
Codeminer42 Dev Weekly #75
blog.codeminer42.com·16h
📏Code Metrics
Show HN: Zen Lake – 50B-digit π computation on modest hardware
github.com·23h·
Discuss: Hacker News
⚡Homebrew CPUs
My tips for using LLM agents to create software
efitz-thoughts.blogspot.com·8h·
Discuss: Hacker News
⚡Proof Automation
Saleae Analyzer for the BDM protocol
zetier.com·2d
🔬Binary Analysis
OpenAI Model Earns Gold-Medal Score at International Math Olympiad and Advances Path to Artificial General Intelligence
scientificamerican.com·1d
🔲Cellular Automata
UnderColor’s spiral challenge from 1984 – part 3
subethasoftware.com·1d
📺VT100
Modular Arithmetic in Data Science
towardsdatascience.com·4d
📐Interval Arithmetic
On This Day in Math - August 21
pballew.blogspot.com·2d·
Discuss: www.blogger.com
📐Mathematical Art
Deep Dive: OpenAI's GPT-OSS
dev.to·6h·
Discuss: DEV
📊Quantization